Separable reduction theorems by the method of elementary submodels
نویسندگان
چکیده
منابع مشابه
Elementary submodels in infinite combinatorics
We show that usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary submodels. We also present a new proof of Nash-Williams’s theorem on cycle-decomposition of graphs, and finally we obtain some new decomposition the...
متن کاملCountable Tightness, Elementary Submodels and Homogeneity
We show (in ZFC) that the cardinality of a compact homogeneous space of countable tightness is no more than 20 .
متن کاملApplications Of Elementary Submodels In General Topology
Elementary submodels of some initial segment of the set-theoretic universe are useful in order to prove certain theorems in general topology as well as in algebra. As an illustration we give proofs of two theorems due to Arkhangel’skii concerning cardinal invariants of compact spaces.
متن کاملthe effect of consciousness raising (c-r) on the reduction of translational errors: a case study
در دوره های آموزش ترجمه استادان بیشتر سعی دارند دانشجویان را با انواع متون آشنا سازند، درحالی که کمتر به خطاهای مکرر آنان در متن ترجمه شده می پردازند. اهمیت تحقیق حاضر مبنی بر ارتکاب مکرر خطاهای ترجمانی حتی بعد از گذراندن دوره های تخصصی ترجمه از سوی دانشجویان است. هدف از آن تاکید بر خطاهای رایج میان دانشجویان مترجمی و کاهش این خطاها با افزایش آگاهی و هوشیاری دانشجویان از بروز آنها است.از آنجا ک...
15 صفحه اولThe Real Line in Elementary Submodels of Set Theory
It is a truism that all of mathematics can be expressed in the language of set theory, i.e. the predicate calculus (including equality) with the single two-place relation ∈. As with any other countable language, the language of set theory is subject to the Löwenheim-Skolem Theorem, which asserts that if we have some axioms – e.g. the usual axioms of set theory (ZFC) – formulated in this languag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2012
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm219-3-1